метод доказательства

метод доказательства

 

метод доказательства
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

EN

  • validation procedure


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "метод доказательства" в других словарях:

  • Метод бесконечного спуска — В математике, метод бесконечного спуска  это метод доказательства от противного, основанный на том, что множество натуральных чисел вполне упорядочено. Часто метод бесконечного спуска используется для доказательства того, что у некоторого… …   Википедия

  • Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …   Википедия

  • Метод Хартри — Фока — в квантовой механике приближённый метод решения уравнения Шредингера путём сведения многочастичной задачи к одночастичной в предположении, что каждая частица двигается в некотором усреднённом самосогласованном поле, создаваемом всеми остальными… …   Википедия

  • Метод Эйлера — Метод Эйлера  наиболее простой численный метод решения (систем) обыкновенных дифференциальных уравнений. Впервые описан Леонардом Эйлером в 1768 году в работе «Интегральное исчисление»[1]. Метод Эйлера является явным, одношаговым методом… …   Википедия

  • Метод исчерпывания — (лат. methodus exaustionibus) античный метод для исследования площади или объёма криволинейных фигур. Идею метода, в не очень ясных выражениях, высказал ещё Антифон, однако разработку и применение осуществил Евдокс Книдский. Обоснование… …   Википедия

  • Метод квадратичных форм Шенкса — метод факторизации целых чисел, основанный на применении квадратичных форм, разработанный Даниелем Шенксом (англ. Daniel Shanks).[1] в 1975 году, как развитие метода факторизации Ферма. Для 32 разрядных компьютерах алгоритмы, основанные на… …   Википедия

  • Метод обратного распространения ошибки — (англ. backpropagation) метод обучения многослойного перцептрона. Впервые метод был описан в 1974 г. А.И. Галушкиным[1], а также независимо и одновременно Полом Дж. Вербосом[2]. Далее существенно развит в 1986 г. Дэвидом И. Румельхартом, Дж …   Википедия

  • ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… …   Православная энциклопедия

  • Доказательства уголовные — Под уголовными Д. подразумеваются те фактические данные, которые служат основанием к заключению о том, совершено ли преступление и виновно ли в нем данное лицо. Всякая эпоха имеет свой метод обнаружения на уголовном суде материальной истины, свою …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»